Trefferliste "Lambda Calculus" - alle Bücher

Ihre Suche nach "Lambda Calculus" (Bücher) ergab 3 Treffer

Levis Zerpa

The Logic, Philosophy, and History of the Lambda-Calculus

This is the first book focused on the logico-philosophical aspects of the lambda-calculus since the inception of the field in 1932 in the pioneering work of Alonzo Church. The book starts a new field call…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 159,30* Aktueller Preis: EUR 159,30

Artikel merken

In den Warenkorb

Menge ändern

Mike Excelisfun Girvin

The New Frontier of Excel Analysis and Reporting with Excel Array Formulas and Let & Lambda Functions

Array Formulas have been around since the beginning of Excel. The author wrote a whole book about them back in 2012. Array Formulas were powerful, but complicated. Then Microsoft invented the new Workshee…

Erscheint bald

Buch

Artikel merken

Benachrichtigung anfordern

Logics and Type Systems in Theory and Practice

This Festschrift, dedicated to Herman Geuvers on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Herman Geuvers is a full professor at Radboud University …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 131,42* Aktueller Preis: EUR 131,42

Artikel merken

In den Warenkorb

Menge ändern